Measures and Techniques for Software Quality Assurance

This report comprises chapters 2 to 5 of a report prepared for NASA on the applica-tion of software quality and assurance techniques to AI software [105]. The chaptersincluded here provide a review of software quality assurance techniques as appliedto conventional software. The techniques covered include software reliability andmetrics, static and dynamic testing, and formal speci cation and veri cation. Measures and Techniques for Software QualityAssurance1John RushbyComputer Science LaboratorySRI International333 Ravenswood AvenueMenlo Park, CA 94025September 19911This work was performed for the National Aeronautics and Space Administration undercontract NAS1 17067.